type operator = RELOP | LOGICALOP 

type expr =
    Binop of expr * operator * expr
 